Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
![]() Tesis |
Completitud e implementación de modalidades en MAS | Ambrossio, Agustín |
(2011) |
Sala
|
---------- |
![]() Libro |
Formal methods in artificial intelligence | Ramsay, Allan |
1st ed.
(1988) |
Domicilio
|
---------- |
![]() Tesis |
Implementación de chequeadores de modelos para MAS: | Fournier, Gastón |
(2014) |
Sala
|
---------- |
![]() Libro |
Modal Logic | Blackburn, Patrick |
4th ed.
(2010) |
Domicilio
|
---------- |
![]() Tesis |
Sobre la representación de S4.3.: | Bonelli, Eduardo |
(1996) |
Sala
|
---------- |